Heule, Marijn J. H.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

The science of brute force

Heule, Marijn J. H., Kullmann, Oliver

Journal:

Communications of the ACM

Year:

2017

Language:

english

File:

PDF, 4.23 MB

english, 2017

2

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2015 Volume 9340 || SAT-Based Horn Least Upper Bounds

Heule, Marijn, Weaver, Sean

Year:

2015

Language:

english

File:

PDF, 450 KB

english, 2015

3

Constructing Minimal Perfect Hash Functions Using SAT Technology

Weaver, Sean, Heule, Marijn

Journal:

Proceedings of the AAAI Conference on Artificial Intelligence

Year:

2020

File:

PDF, 516 KB

2020

4

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2015 Volume 9340 || Using Community Structure to Detect Relevant Learnt Clauses

Heule, Marijn, Weaver, Sean

Year:

2015

Language:

english

File:

PDF, 796 KB

english, 2015

5

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2015 Volume 9340 || Exploiting Resolution-Based Representations for MaxSAT Solving

Heule, Marijn, Weaver, Sean

Year:

2015

Language:

english

File:

PDF, 8.44 MB

english, 2015

6

[IEEE 2014 Formal Methods in Computer-Aided Design (FMCAD) - Lausanne, Switzerland (2014.10.21-2014.10.24)] 2014 Formal Methods in Computer-Aided Design (FMCAD) - Efficient extraction of Skolem functions from QRAT proofs

Heule, Marijn J. H., Seidl, Martina, Biere, Armin

Year:

2014

Language:

english

File:

PDF, 906 KB

english, 2014

7

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2015 Volume 9340 || SAT-Based Formula Simplification

Heule, Marijn, Weaver, Sean

Year:

2015

Language:

english

File:

PDF, 933 KB

english, 2015

8

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2015 Volume 9340 || Volt: A Lazy Grounding Framework for Solving Very Large MaxSAT Instances

Heule, Marijn, Weaver, Sean

Year:

2015

Language:

english

File:

PDF, 300 KB

english, 2015

9

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2015 Volume 9340 || Between SAT and UNSAT: The Fundamental Difference in CDCL SAT

Heule, Marijn, Weaver, Sean

Year:

2015

Language:

english

File:

PDF, 342 KB

english, 2015

10

Simulating Circuit-Level Simplifications on CNF

Matti Järvisalo, Armin Biere, Marijn J. H. Heule

Journal:

Journal of Automated Reasoning

Year:

2012

Language:

english

File:

PDF, 975 KB

english, 2012

11

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2015 Volume 9340 || Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing

Heule, Marijn, Weaver, Sean

Year:

2015

Language:

english

File:

PDF, 1.97 MB

english, 2015

12

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2015 Volume 9340 || Search-Space Partitioning for Parallelizing SMT Solvers

Heule, Marijn, Weaver, Sean

Year:

2015

Language:

english

File:

PDF, 754 KB

english, 2015

13

Simulating Strong Practical Proof Systems with Extended Resolution

Kiesl, Benjamin, Rebola-Pardo, AdriÃ¡n, Heule, Marijn J. H., Biere, Armin

Journal:

Journal of Automated Reasoning

Year:

2020

File:

PDF, 609 KB

2020

14

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2015 Volume 9340 || A New Approach to Partial MUS Enumeration

Heule, Marijn, Weaver, Sean

Year:

2015

Language:

english

File:

PDF, 667 KB

english, 2015

15

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2015 Volume 9340 || Evaluating CDCL Variable Scoring Schemes

Heule, Marijn, Weaver, Sean

Year:

2015

Language:

english

File:

PDF, 389 KB

english, 2015

16

Introduction to Mathematics of Satisfiability, Victor W. Marek, Chapman & Hall/CRC, 2009. Hardback, ISBN-13: 978-143980167-3, $89.95.

Journal:

Theory and Practice of Logic Programming

Year:

2011

Language:

english

File:

PDF, 55 KB

english, 2011

17

SAT Competition 2018

Heule, Marijn J. H., JÃ¤rvisalo, Matti, Suda, Martin, Seidl, Martina, Pulina, Luca

Journal:

Journal on Satisfiability, Boolean Modeling and Computation

Year:

2019

File:

PDF, 1001 KB

2019

18

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2015 Volume 9340 || Hints Revealed

Heule, Marijn, Weaver, Sean

Year:

2015

Language:

english

File:

PDF, 507 KB

english, 2015

19

Whose side are you on?1

Heule, Marijn J.H., van Maaren, Hans, Speckenmeyer, Ewald, Li, Chu Min, Manquinho, Vasco, Tacchella, Armando

Journal:

Journal on Satisfiability, Boolean Modeling and Computation

Year:

2008

File:

PDF, 1.41 MB

2008

20

Solution Validation and Extraction for QBF Preprocessing

Marijn J. H. Heule,Martina Seidl,Armin Biere

Journal:

Journal of Automated Reasoning

Year:

2017

Language:

english

File:

PDF, 1.31 MB

english, 2017

21

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2015 Volume 9340 ||

Heule, Marijn, Weaver, Sean

Year:

2015

Language:

english

File:

PDF, 24.52 MB

english, 2015

22

Strong Extension-Free Proof Systems

Heule, Marijn J. H., Kiesl, Benjamin, Biere, Armin

Journal:

Journal of Automated Reasoning

Year:

2019

Language:

english

File:

PDF, 511 KB

english, 2019

23

Software model synthesis using satisfiability solvers

Heule, Marijn J. H., Verwer, Sicco

Journal:

Empirical Software Engineering

Year:

2013

Language:

english

File:

PDF, 1.43 MB

english, 2013

24

March_dl: Adding Adaptive Heuristics and a New Branching Strategy

Heule, Marijn J.H., van Maaren, Hans, Le Berre, Daniel, Simon, Laurent

Journal:

Journal on Satisfiability, Boolean Modeling and Computation

Year:

2006

File:

PDF, 203 KB

2006

25

Optimal Symmetry Breaking for Graph Problems

Heule, Marijn J. H.

Journal:

Mathematics in Computer Science

Year:

2019

Language:

english

File:

PDF, 427 KB

english, 2019

26

Parallel SAT Solving using Bit-level Operations1

Heule, Marijn, van Maaren, Hans, Speckenmeyer, Ewald, Li, Chu Min, Manquinho, Vasco, Tacchella, Armando

Journal:

Journal on Satisfiability, Boolean Modeling and Computation

Year:

2008

File:

PDF, 416 KB

2008

27

[IEEE 2013 Formal Methods in Computer-Aided Design (FMCAD) - Portland, OR (2013.10.20-2013.10.23)] 2013 Formal Methods in Computer-Aided Design - Trimming while checking clausal proofs

Heule, Marijn J. H., Hunt, Warren A., Wetzler, Nathan

Year:

2013

Language:

english

File:

PDF, 311 KB

english, 2013

28

A SAT Approach to Clique-Width

Heule, Marijn J. H., Szeider, Stefan

Journal:

ACM Transactions on Computational Logic

Year:

2015

Language:

english

File:

PDF, 498 KB

english, 2015

29

[IEEE 2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2016.9.24-2016.9.27)] 2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - The Quest for Perfect and Compact Symmetry Breaking for Graph Problems

Heule, Marijn J.H.

Year:

2016

Language:

english

File:

PDF, 224 KB

english, 2016

30

Bridging the gap between easy generation and efficient verification of unsatisfiability proofs

Heule, Marijn J. H., Hunt, Warren A., Wetzler, Nathan

Journal:

Software Testing, Verification and Reliability

Year:

2014

Language:

english

File:

PDF, 349 KB

english, 2014

31

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2015 Volume 9340 || Incrementally Computing Minimal Unsatisfiable Cores of QBFs via a Clause Group Solver API

Heule, Marijn, Weaver, Sean

Year:

2015

Language:

english

File:

PDF, 207 KB

english, 2015

32

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2015 Volume 9340 || SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving

Heule, Marijn, Weaver, Sean

Year:

2015

Language:

english

File:

PDF, 197 KB

english, 2015

33

Reusing the Assignment Trail in CDCL Solvers

van der Tak, Peter, Ramos, Antonio, Heule, Marijn

Journal:

Journal on Satisfiability, Boolean Modeling and Computation

Year:

2011

File:

PDF, 197 KB

2011

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски